Search Results for 'ent0 turn'

ent0 turn published presentations and documents on DocSlides.

Automatic verification

by tatyana-admore

and fence inference . for relaxed memory models. ...

Synthesis of Memory Fences

by min-jolicoeur

Martin . Vechev. IBM Research. Michael . Kuperste...

Synthesis of Memory Fences

by stefany-barnette

Martin . Vechev. IBM Research. Michael . Kuperste...

Automatic verification and fence inference

by margaret

for relaxed memory models. Martin . Vechev. IBM Re...